$\forall$$x$,$y$:int\_seg(0; 3). ($\uparrow$rps($x$; $y$)) $\vee$ ($x$ = $y$ $\in$ $\mathbb{Z}$) $\vee$ ($\uparrow$rps($y$; $x$))